#include <stdio.h>

extern void print_hello();

int main() {
  print_hello();
  return 0;
}
